$\forall$$i$, $j$:$\mathbb{Z}$. (($i$ =$_{0}$ $j$) $\sim$ tt) $\Rightarrow$ ($i$ = $j$)